[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 111 93 101 109 492 0 140 1959

N.S.

1 1.19 1.00 1.09 1.17 5.29 0.00 1.51 21.06

time (sec)

N/A 0.297 11.371 0.704 0.336 0.327 0.000 0.392 15.210

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 74 75 74 419 0 109 72

N.S.

1 1.00 0.95 0.96 0.95 5.37 0.00 1.40 0.92

time (sec)

N/A 0.330 11.210 0.621 0.337 0.280 0.000 0.390 13.134

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 84 87 89 463 0 113 79

N.S.

1 1.00 0.97 1.00 1.02 5.32 0.00 1.30 0.91

time (sec)

N/A 0.322 11.201 0.602 0.388 0.293 0.000 0.365 13.450

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 131 155 103 133 588 0 179 132

N.S.

1 1.03 1.22 0.81 1.05 4.63 0.00 1.41 1.04

time (sec)

N/A 0.307 1.256 0.906 0.437 0.302 0.000 0.381 13.735

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 158 202 122 172 843 0 174 164

N.S.

1 0.98 1.25 0.75 1.06 5.20 0.00 1.07 1.01

time (sec)

N/A 0.374 2.326 1.249 0.382 0.300 0.000 0.364 14.868

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 178 134 158 234 950 0 224 3189

N.S.

1 1.20 0.91 1.07 1.58 6.42 0.00 1.51 21.55

time (sec)

N/A 0.410 12.307 1.197 0.371 0.310 0.000 0.403 17.722

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 115 97 109 158 683 0 152 149

N.S.

1 1.05 0.88 0.99 1.44 6.21 0.00 1.38 1.35

time (sec)

N/A 0.271 11.501 0.999 0.333 0.328 0.000 0.390 14.528

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 141 112 131 191 771 0 191 159

N.S.

1 1.08 0.85 1.00 1.46 5.89 0.00 1.46 1.21

time (sec)

N/A 0.512 11.641 1.053 0.327 0.322 0.000 0.383 14.107

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 157 125 148 211 843 0 211 176

N.S.

1 1.09 0.87 1.03 1.47 5.85 0.00 1.47 1.22

time (sec)

N/A 0.532 11.721 1.085 0.387 0.297 0.000 0.327 14.120

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 209 214 160 270 1003 0 232 251

N.S.

1 1.07 1.09 0.82 1.38 5.12 0.00 1.18 1.28

time (sec)

N/A 0.399 2.824 1.665 0.479 0.362 0.000 0.398 15.804

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 232 201 230 378 1361 0 344 339

N.S.

1 1.13 0.98 1.12 1.83 6.61 0.00 1.67 1.65

time (sec)

N/A 0.788 11.746 1.874 0.404 0.339 0.000 0.344 15.292

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

279 318 312 336 588 2017 0 524 450

N.S.

1 1.14 1.12 1.20 2.11 7.23 0.00 1.88 1.61

time (sec)

N/A 1.128 11.903 3.546 0.397 0.383 0.000 0.380 16.120

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 29 33 10 57 0 25 18

N.S.

1 1.00 2.64 3.00 0.91 5.18 0.00 2.27 1.64

time (sec)

N/A 0.187 0.050 0.682 0.342 0.270 0.000 0.328 0.053

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 53 51 25 71 0 25 0

N.S.

1 1.00 1.77 1.70 0.83 2.37 0.00 0.83 0.00

time (sec)

N/A 0.197 0.045 0.768 0.369 0.287 0.000 0.326 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 39 57 11 94 0 48 0

N.S.

1 1.00 2.60 3.80 0.73 6.27 0.00 3.20 0.00

time (sec)

N/A 0.193 0.149 0.704 0.406 0.288 0.000 0.528 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 56 33 32 31 40 0 84 0

N.S.

1 1.06 0.62 0.60 0.58 0.75 0.00 1.58 0.00

time (sec)

N/A 0.408 0.016 1.152 0.379 0.247 0.000 0.378 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 23 24 17 26 0 57 0

N.S.

1 1.00 0.68 0.71 0.50 0.76 0.00 1.68 0.00

time (sec)

N/A 0.318 0.008 0.589 0.371 0.258 0.000 0.342 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 15 6 15 0 27 46

N.S.

1 1.00 1.00 1.15 0.46 1.15 0.00 2.08 3.54

time (sec)

N/A 0.254 0.016 0.615 0.415 0.251 0.000 0.306 0.230

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

16 16 16 22 38 65 0 0 0

N.S.

1 1.00 1.00 1.38 2.38 4.06 0.00 0.00 0.00

time (sec)

N/A 0.265 0.006 0.309 0.399 0.268 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 26 41 304 40 0 47 0

N.S.

1 1.00 0.62 0.98 7.24 0.95 0.00 1.12 0.00

time (sec)

N/A 0.334 0.012 0.720 0.419 0.276 0.000 0.354 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 69 36 63 933 49 0 63 0

N.S.

1 1.13 0.59 1.03 15.30 0.80 0.00 1.03 0.00

time (sec)

N/A 0.439 0.026 0.834 0.598 0.272 0.000 0.335 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 121 119 311 176 501 0 2404 0

N.S.

1 0.97 0.95 2.49 1.41 4.01 0.00 19.23 0.00

time (sec)

N/A 0.275 0.483 1.134 0.340 0.523 0.000 0.496 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 77 93 184 70 433 0 723 0

N.S.

1 0.99 1.19 2.36 0.90 5.55 0.00 9.27 0.00

time (sec)

N/A 0.236 0.220 0.781 0.345 0.375 0.000 0.412 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 80 99 174 132 1158 0 0 0

N.S.

1 0.96 1.19 2.10 1.59 13.95 0.00 0.00 0.00

time (sec)

N/A 0.278 0.200 1.009 0.326 0.477 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 91 100 227 0 338 0 434 0

N.S.

1 1.08 1.19 2.70 0.00 4.02 0.00 5.17 0.00

time (sec)

N/A 0.267 0.365 0.928 0.000 0.320 0.000 0.488 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 151 127 379 0 520 0 914 0

N.S.

1 1.06 0.89 2.65 0.00 3.64 0.00 6.39 0.00

time (sec)

N/A 0.304 0.522 1.095 0.000 0.449 0.000 0.567 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

259 262 199 413 0 0 0 0 0

N.S.

1 1.01 0.77 1.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.475 1.080 3.372 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 159 266 0 0 0 0 0

N.S.

1 1.00 1.00 1.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.841 0.674 2.299 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 61 71 0 0 0 0 0

N.S.

1 1.00 1.20 1.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.276 0.096 1.444 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 176 137 156 0 626 0 0 0

N.S.

1 1.01 0.79 0.90 0.00 3.60 0.00 0.00 0.00

time (sec)

N/A 0.373 0.578 1.805 0.000 0.128 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 243 188 342 0 947 0 0 0

N.S.

1 1.04 0.80 1.46 0.00 4.05 0.00 0.00 0.00

time (sec)

N/A 0.454 2.213 2.456 0.000 0.140 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 157 152 446 248 579 0 5251 0

N.S.

1 0.93 0.90 2.64 1.47 3.43 0.00 31.07 0.00

time (sec)

N/A 0.307 0.700 1.081 0.352 1.216 0.000 0.934 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 113 113 309 106 495 0 2403 0

N.S.

1 0.99 0.99 2.71 0.93 4.34 0.00 21.08 0.00

time (sec)

N/A 0.261 0.312 1.122 0.314 0.544 0.000 0.629 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 120 141 255 179 1282 0 0 0

N.S.

1 0.98 1.16 2.09 1.47 10.51 0.00 0.00 0.00

time (sec)

N/A 0.334 0.677 1.130 0.498 0.576 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 134 147 287 0 1449 0 0 0

N.S.

1 1.05 1.15 2.24 0.00 11.32 0.00 0.00 0.00

time (sec)

N/A 0.331 0.894 1.165 0.000 0.588 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 141 114 376 0 484 0 912 0

N.S.

1 1.10 0.89 2.94 0.00 3.78 0.00 7.12 0.00

time (sec)

N/A 0.309 0.635 1.104 0.000 0.431 0.000 0.722 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 201 161 565 0 752 0 1623 0

N.S.

1 1.02 0.82 2.87 0.00 3.82 0.00 8.24 0.00

time (sec)

N/A 0.341 1.597 1.390 0.000 1.131 0.000 0.939 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 339 249 602 0 0 0 0 0

N.S.

1 1.04 0.77 1.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.618 1.865 4.042 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 223 201 429 0 0 0 0 0

N.S.

1 1.02 0.92 1.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.166 1.042 3.539 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 155 156 266 0 0 0 0 0

N.S.

1 1.01 1.01 1.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.781 0.559 2.388 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 183 141 174 0 0 0 0 0

N.S.

1 1.01 0.78 0.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.394 1.088 2.276 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 243 201 408 0 969 0 0 0

N.S.

1 1.03 0.85 1.73 0.00 4.11 0.00 0.00 0.00

time (sec)

N/A 0.487 3.064 2.604 0.000 0.138 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 215 194 437 0 0 0 0 0

N.S.

1 1.02 0.92 2.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.145 0.991 4.219 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 82 105 148 75 438 0 0 0

N.S.

1 0.99 1.27 1.78 0.90 5.28 0.00 0.00 0.00

time (sec)

N/A 0.268 0.369 0.908 0.399 0.362 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 53 99 24 370 0 0 0

N.S.

1 1.00 1.29 2.41 0.59 9.02 0.00 0.00 0.00

time (sec)

N/A 0.220 0.141 0.647 0.322 0.354 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 48 112 109 219 0 0 0

N.S.

1 1.00 1.17 2.73 2.66 5.34 0.00 0.00 0.00

time (sec)

N/A 0.242 0.221 0.877 0.325 0.305 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 96 102 165 0 347 0 0 0

N.S.

1 1.08 1.15 1.85 0.00 3.90 0.00 0.00 0.00

time (sec)

N/A 0.291 0.401 1.084 0.000 0.353 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 196 163 268 0 0 0 0 0

N.S.

1 0.95 0.79 1.30 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.396 0.730 1.514 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 78 93 0 0 0 0 0

N.S.

1 1.00 0.70 0.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.605 0.271 1.047 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 60 52 0 305 0 0 0

N.S.

1 1.00 1.18 1.02 0.00 5.98 0.00 0.00 0.00

time (sec)

N/A 0.282 0.099 0.442 0.000 0.108 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 181 138 140 0 643 0 0 0

N.S.

1 1.02 0.78 0.79 0.00 3.63 0.00 0.00 0.00

time (sec)

N/A 0.389 0.519 1.150 0.000 0.128 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 252 195 354 0 955 0 0 0

N.S.

1 1.03 0.80 1.45 0.00 3.91 0.00 0.00 0.00

time (sec)

N/A 0.466 2.677 1.670 0.000 0.141 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 78 96 156 81 564 0 0 0

N.S.

1 0.99 1.22 1.97 1.03 7.14 0.00 0.00 0.00

time (sec)

N/A 0.272 0.473 1.087 0.304 0.403 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 41 31 32 57 0 0 119

N.S.

1 1.00 1.21 0.91 0.94 1.68 0.00 0.00 3.50

time (sec)

N/A 0.219 0.156 0.634 0.221 0.302 0.000 0.000 14.897

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 78 93 165 165 422 0 0 0

N.S.

1 0.99 1.18 2.09 2.09 5.34 0.00 0.00 0.00

time (sec)

N/A 0.273 0.348 1.017 0.339 0.383 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 140 134 274 0 634 0 0 0

N.S.

1 1.04 1.00 2.04 0.00 4.73 0.00 0.00 0.00

time (sec)

N/A 0.340 0.610 1.249 0.000 0.523 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 275 197 405 0 0 0 0 0

N.S.

1 1.00 0.72 1.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.506 1.082 3.338 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 199 136 241 0 0 0 0 0

N.S.

1 0.99 0.67 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.398 0.611 2.532 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 163 138 191 0 780 0 0 0

N.S.

1 1.07 0.90 1.25 0.00 5.10 0.00 0.00 0.00

time (sec)

N/A 0.847 0.439 1.712 0.000 0.136 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 90 103 0 938 0 0 0

N.S.

1 1.00 0.89 1.02 0.00 9.29 0.00 0.00 0.00

time (sec)

N/A 0.422 0.143 1.292 0.000 0.155 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 252 170 199 0 1075 0 0 0

N.S.

1 1.07 0.72 0.85 0.00 4.57 0.00 0.00 0.00

time (sec)

N/A 0.490 1.029 2.275 0.000 0.170 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 151 133 243 283 885 0 0 0

N.S.

1 1.10 0.97 1.77 2.07 6.46 0.00 0.00 0.00

time (sec)

N/A 0.332 0.874 1.453 0.374 0.753 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 84 64 64 121 137 0 0 176

N.S.

1 1.04 0.79 0.79 1.49 1.69 0.00 0.00 2.17

time (sec)

N/A 0.266 0.402 0.618 0.298 0.412 0.000 0.000 20.107

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 72 60 55 63 134 0 0 159

N.S.

1 0.99 0.82 0.75 0.86 1.84 0.00 0.00 2.18

time (sec)

N/A 0.228 0.221 0.662 0.290 0.380 0.000 0.000 20.302

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 127 249 306 752 0 0 0

N.S.

1 1.08 0.98 1.93 2.37 5.83 0.00 0.00 0.00

time (sec)

N/A 0.324 0.538 1.357 0.414 0.558 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

285 288 192 698 0 0 0 0 0

N.S.

1 1.01 0.67 2.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.521 1.656 3.976 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 267 182 623 0 1432 0 0 0

N.S.

1 0.99 0.68 2.32 0.00 5.32 0.00 0.00 0.00

time (sec)

N/A 0.473 1.295 2.805 0.000 0.186 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 228 174 483 0 1400 0 0 0

N.S.

1 1.03 0.79 2.19 0.00 6.33 0.00 0.00 0.00

time (sec)

N/A 1.188 1.168 2.735 0.000 0.203 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 228 172 547 0 1531 0 0 0

N.S.

1 1.02 0.77 2.45 0.00 6.87 0.00 0.00 0.00

time (sec)

N/A 1.159 0.928 1.815 0.000 0.189 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 351 214 527 0 1719 0 0 0

N.S.

1 1.09 0.66 1.64 0.00 5.34 0.00 0.00 0.00

time (sec)

N/A 0.617 1.772 3.700 0.000 0.225 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

122 122 113 0 0 0 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 0.646 0.000 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

220 218 98 0 0 0 0 0 0

N.S.

1 0.99 0.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.377 0.585 0.000 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

131 130 98 0 0 0 0 0 0

N.S.

1 0.99 0.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.288 0.411 0.000 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

74 74 74 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.232 0.215 0.000 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

83 83 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.249 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

83 83 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.258 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

83 83 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.252 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 101 102 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.290 0.566 0.000 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 99 102 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.328 0.323 0.000 0.000 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

97 97 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.274 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

101 101 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.274 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

335 338 219 221 0 21338 0 0 1978

N.S.

1 1.01 0.65 0.66 0.00 63.70 0.00 0.00 5.90

time (sec)

N/A 0.851 0.563 1.924 0.000 1.426 0.000 0.000 15.449

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

273 273 255 141 0 29175 0 0 1962

N.S.

1 1.00 0.93 0.52 0.00 106.87 0.00 0.00 7.19

time (sec)

N/A 0.794 0.331 1.300 0.000 1.284 0.000 0.000 14.511

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) C F C F(-1) F B

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

259 259 0 104 0 29221 0 0 1672

N.S.

1 1.00 0.00 0.40 0.00 112.82 0.00 0.00 6.46

time (sec)

N/A 0.628 0.000 0.775 0.000 1.249 0.000 0.000 14.442

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 270 172 78 0 18879 0 0 652

N.S.

1 1.01 0.64 0.29 0.00 70.71 0.00 0.00 2.44

time (sec)

N/A 0.538 11.047 0.797 0.000 1.321 0.000 0.000 15.875

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 264 264 96 0 29139 0 0 1439

N.S.

1 1.00 1.00 0.36 0.00 110.38 0.00 0.00 5.45

time (sec)

N/A 0.689 0.502 1.039 0.000 3.768 0.000 0.000 15.200

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 287 181 136 0 29431 0 0 1573

N.S.

1 1.00 0.63 0.47 0.00 102.55 0.00 0.00 5.48

time (sec)

N/A 0.620 0.401 1.488 0.000 14.834 0.000 0.000 15.061

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-2) C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

344 347 290 196 0 21564 0 0 1560

N.S.

1 1.01 0.84 0.57 0.00 62.69 0.00 0.00 4.53

time (sec)

N/A 0.732 1.229 2.043 0.000 131.012 0.000 0.000 15.221

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 293 164 143 0 29350 0 0 1800

N.S.

1 1.00 0.56 0.49 0.00 100.17 0.00 0.00 6.14

time (sec)

N/A 0.623 0.384 1.508 0.000 1.231 0.000 0.000 15.211

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 284 186 104 0 21185 0 0 665

N.S.

1 1.01 0.66 0.37 0.00 75.39 0.00 0.00 2.37

time (sec)

N/A 0.638 0.241 1.056 0.000 1.328 0.000 0.000 15.324

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 240 231 76 0 25253 0 0 590

N.S.

1 1.00 0.96 0.32 0.00 105.22 0.00 0.00 2.46

time (sec)

N/A 0.594 11.045 0.809 0.000 1.175 0.000 0.000 14.792

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) C F C F F B

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

245 245 0 83 0 25429 0 0 609

N.S.

1 1.00 0.00 0.34 0.00 103.79 0.00 0.00 2.49

time (sec)

N/A 0.506 0.000 0.699 0.000 1.216 0.000 0.000 15.552

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 284 196 114 0 21243 0 0 697

N.S.

1 1.01 0.70 0.41 0.00 75.60 0.00 0.00 2.48

time (sec)

N/A 0.634 0.370 1.153 0.000 1.336 0.000 0.000 14.461

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-2) C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

296 296 333 162 0 29423 0 0 1503

N.S.

1 1.00 1.12 0.55 0.00 99.40 0.00 0.00 5.08

time (sec)

N/A 0.715 1.455 1.480 0.000 4.046 0.000 0.000 16.275

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 168 228 137 0 872 0 0 1067

N.S.

1 0.95 1.29 0.77 0.00 4.93 0.00 0.00 6.03

time (sec)

N/A 0.406 2.668 2.972 0.000 0.345 0.000 0.000 14.425

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 142 310 110 0 849 0 0 1119

N.S.

1 0.96 2.09 0.74 0.00 5.74 0.00 0.00 7.56

time (sec)

N/A 0.342 1.298 1.717 0.000 0.335 0.000 0.000 13.796

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 135 198 99 0 815 0 0 1001

N.S.

1 0.98 1.43 0.72 0.00 5.91 0.00 0.00 7.25

time (sec)

N/A 0.345 0.823 1.130 0.000 0.359 0.000 0.000 13.498

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 114 285 83 0 703 0 166 976

N.S.

1 0.99 2.48 0.72 0.00 6.11 0.00 1.44 8.49

time (sec)

N/A 0.290 3.613 0.789 0.000 0.325 0.000 0.754 0.523

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 124 183 87 0 703 0 183 361

N.S.

1 0.99 1.46 0.70 0.00 5.62 0.00 1.46 2.89

time (sec)

N/A 0.268 2.287 0.687 0.000 0.336 0.000 0.678 15.333

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 131 318 119 0 773 0 0 2031

N.S.

1 0.96 2.34 0.88 0.00 5.68 0.00 0.00 14.93

time (sec)

N/A 0.335 0.691 0.942 0.000 0.368 0.000 0.000 15.637

[next] [prev] [prev-tail] [front] [up]